Optimal. Leaf size=47 \[ -\frac {(B d-A e) (d+e x)^{1+m}}{e^2 (1+m)}+\frac {B (d+e x)^{2+m}}{e^2 (2+m)} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.02, antiderivative size = 47, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 1, integrand size = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.077, Rules used = {45}
\begin {gather*} \frac {B (d+e x)^{m+2}}{e^2 (m+2)}-\frac {(B d-A e) (d+e x)^{m+1}}{e^2 (m+1)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rubi steps
\begin {align*} \int (A+B x) (d+e x)^m \, dx &=\int \left (\frac {(-B d+A e) (d+e x)^m}{e}+\frac {B (d+e x)^{1+m}}{e}\right ) \, dx\\ &=-\frac {(B d-A e) (d+e x)^{1+m}}{e^2 (1+m)}+\frac {B (d+e x)^{2+m}}{e^2 (2+m)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.05, size = 41, normalized size = 0.87 \begin {gather*} \frac {(d+e x)^{1+m} (-B d+A e (2+m)+B e (1+m) x)}{e^2 (1+m) (2+m)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.10, size = 46, normalized size = 0.98
method | result | size |
gosper | \(\frac {\left (e x +d \right )^{1+m} \left (B e m x +A e m +B e x +2 A e -B d \right )}{e^{2} \left (m^{2}+3 m +2\right )}\) | \(46\) |
risch | \(\frac {\left (B \,x^{2} e^{2} m +A \,e^{2} m x +B d e m x +B \,x^{2} e^{2}+A d e m +2 A \,e^{2} x +2 A d e -B \,d^{2}\right ) \left (e x +d \right )^{m}}{e^{2} \left (2+m \right ) \left (1+m \right )}\) | \(76\) |
norman | \(\frac {B \,x^{2} {\mathrm e}^{m \ln \left (e x +d \right )}}{2+m}+\frac {d \left (A e m +2 A e -B d \right ) {\mathrm e}^{m \ln \left (e x +d \right )}}{e^{2} \left (m^{2}+3 m +2\right )}+\frac {\left (A e m +B d m +2 A e \right ) x \,{\mathrm e}^{m \ln \left (e x +d \right )}}{e \left (m^{2}+3 m +2\right )}\) | \(95\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.33, size = 65, normalized size = 1.38 \begin {gather*} \frac {{\left (x e + d\right )}^{m + 1} A e^{\left (-1\right )}}{m + 1} + \frac {{\left ({\left (m + 1\right )} x^{2} e^{2} + d m x e - d^{2}\right )} B e^{\left (m \log \left (x e + d\right ) - 2\right )}}{m^{2} + 3 \, m + 2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 1.16, size = 69, normalized size = 1.47 \begin {gather*} -\frac {{\left (B d^{2} - {\left ({\left (B m + B\right )} x^{2} + {\left (A m + 2 \, A\right )} x\right )} e^{2} - {\left (B d m x + A d m + 2 \, A d\right )} e\right )} {\left (x e + d\right )}^{m} e^{\left (-2\right )}}{m^{2} + 3 \, m + 2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 377 vs.
\(2 (37) = 74\).
time = 0.29, size = 377, normalized size = 8.02 \begin {gather*} \begin {cases} d^{m} \left (A x + \frac {B x^{2}}{2}\right ) & \text {for}\: e = 0 \\- \frac {A e}{d e^{2} + e^{3} x} + \frac {B d \log {\left (\frac {d}{e} + x \right )}}{d e^{2} + e^{3} x} + \frac {B d}{d e^{2} + e^{3} x} + \frac {B e x \log {\left (\frac {d}{e} + x \right )}}{d e^{2} + e^{3} x} & \text {for}\: m = -2 \\\frac {A \log {\left (\frac {d}{e} + x \right )}}{e} - \frac {B d \log {\left (\frac {d}{e} + x \right )}}{e^{2}} + \frac {B x}{e} & \text {for}\: m = -1 \\\frac {A d e m \left (d + e x\right )^{m}}{e^{2} m^{2} + 3 e^{2} m + 2 e^{2}} + \frac {2 A d e \left (d + e x\right )^{m}}{e^{2} m^{2} + 3 e^{2} m + 2 e^{2}} + \frac {A e^{2} m x \left (d + e x\right )^{m}}{e^{2} m^{2} + 3 e^{2} m + 2 e^{2}} + \frac {2 A e^{2} x \left (d + e x\right )^{m}}{e^{2} m^{2} + 3 e^{2} m + 2 e^{2}} - \frac {B d^{2} \left (d + e x\right )^{m}}{e^{2} m^{2} + 3 e^{2} m + 2 e^{2}} + \frac {B d e m x \left (d + e x\right )^{m}}{e^{2} m^{2} + 3 e^{2} m + 2 e^{2}} + \frac {B e^{2} m x^{2} \left (d + e x\right )^{m}}{e^{2} m^{2} + 3 e^{2} m + 2 e^{2}} + \frac {B e^{2} x^{2} \left (d + e x\right )^{m}}{e^{2} m^{2} + 3 e^{2} m + 2 e^{2}} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 136 vs.
\(2 (48) = 96\).
time = 0.57, size = 136, normalized size = 2.89 \begin {gather*} \frac {{\left (x e + d\right )}^{m} B m x^{2} e^{2} + {\left (x e + d\right )}^{m} B d m x e + {\left (x e + d\right )}^{m} A m x e^{2} + {\left (x e + d\right )}^{m} B x^{2} e^{2} + {\left (x e + d\right )}^{m} A d m e - {\left (x e + d\right )}^{m} B d^{2} + 2 \, {\left (x e + d\right )}^{m} A x e^{2} + 2 \, {\left (x e + d\right )}^{m} A d e}{m^{2} e^{2} + 3 \, m e^{2} + 2 \, e^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 2.60, size = 88, normalized size = 1.87 \begin {gather*} {\left (d+e\,x\right )}^m\,\left (\frac {x\,\left (2\,A\,e^2+A\,e^2\,m+B\,d\,e\,m\right )}{e^2\,\left (m^2+3\,m+2\right )}+\frac {B\,x^2\,\left (m+1\right )}{m^2+3\,m+2}+\frac {d\,\left (2\,A\,e-B\,d+A\,e\,m\right )}{e^2\,\left (m^2+3\,m+2\right )}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________